Graphical Piecewise-Linear Algebra

نویسندگان

چکیده

Abstract Graphical (Linear) Algebra is a family of diagrammatic languages allowing to reason about different kinds subsets vector spaces compositionally. It has been used model various application domains, from signal-flow graphs Petri nets and electrical circuits. In this paper, we introduce the its most expressive member date: Piecewise-Linear Algebra, new language specify piecewise-linear spaces. Like previous members family, it comes with complete axiomatisation, which means can be corresponding semantic domain purely equationally, forgetting set-theoretic interpretation. We show completeness using single axiom on top Polyhedral that extension smallest capture variety relevant constructs. Finally, showcase use by modelling behaviour stateless electronic circuits ideal elements, had remained outside remit languages.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Remarks on Piecewise-linear Algebra

Introduction* A function f: V —>W between real vector spaces is piecewise-linear (PL) if there exists a partition of V into "open polyhedra" X€ (i.e., relative interiors of polyhedra) such that / is affine on each Xt. (As distinct to the case of PL-topology, no continuity is required of /.) Images and preimages under PL-maps give rise to finite unions of open polyhedra, or PL-seίs; conversely P...

متن کامل

Linear-Time Gibbs Sampling in Piecewise Graphical Models

Many real-world Bayesian inference problems such as preference learning or trader valuation modeling in financial markets naturally use piecewise likelihoods. Unfortunately, exact closed-form inference in the underlying Bayesian graphical models is intractable in the general case and existing approximation techniques provide few guarantees on both approximation quality and efficiency. While (Ma...

متن کامل

Constructing Piecewise Linear

Let P = fp1; : : : ; png and Q = fq1; : : : ; qng be two point sets lying in the interior of rectangles in the plane. We show how to construct a piecewise linear homeomorphism of size O(n2) between the rectangles which maps pi to qi for each i. This bound is optimal in the worst case; i.e., there exist point sets for which any piecewise linear homeomorphism has size (n2). Introduction A homeomo...

متن کامل

Piecewise-Linear Manifold Learning

The need to reduce the dimensionality of a dataset whilst retaining inherent manifold structure is key in many pattern recognition, machine learning and computer vision tasks. This process is often referred to as manifold learning since the structure is preserved during dimensionality reduction by learning the intrinsic low-dimensional manifold that the data lies on. Since the inception of mani...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Lecture Notes in Computer Science

سال: 2022

ISSN: ['1611-3349', '0302-9743']

DOI: https://doi.org/10.1007/978-3-030-99253-8_6